Integrated formal methods - second international conference,IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : Proceedings
- Författare
- Thomas Santen Wolfgang Grieskamp Bill Stoddart International conference on integrated formal methods 2000) Dagstuhl castle :
- (Wolfgang Grieskamp, Thomas Santen, Bill Stoddart (eds.).)
- Genre
- Konferenser, Ej skönlitteratur, Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | cop. 2000 | Tyskland, Berlin | x, 439 sidor. ill. |